package joc.nextgen.dbi;

public @interface ClassInvariant {

}
